import __00SetRelation as sr
import _00SetFunc as ss

#构建小于关系全序集,全序集判断
n=10
X=range(1,n)
R=sr.totalorder(X)
tv=sr.istotalorder(X,R)
ss.drawgraph(R)
H=sr.HasseDiagram(X,R)
ss.drawgraph(H)
print(tv,"R",R)
print("H",H)